Logic has its roots in the study of valid argument, but while traditional logicians worked with natural language directly, modern approaches first translate natural arguments into an artificial language. The reason for this step is that some artificial languages now have very well developed inferential systems. There is no doubt that this is a great advantage in general, but for the study of natural reasoning it is a drawback that the original linguistic forms get lost in translation. An alternative approach (...) would be to develop a general theory of the natural logic behind human reasoning and human information processing by studying formal logics that operate directly on linguistic representations. That this is possible we will try to make plausible in this paper. It will turn out that one level of representation, that of Logical Form, can meaningfully be identified with the language of an existing and well-understood logic, a restricted form of the theory of types. It is not difficult to devise inference systems for this language, and it is thus possible to study reasoning systems that are based directly on language. (shrink)

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.

During the last years of his life, the mathematician Karl Menger worked on a biography of his father, the economist and founder of the Austrian School of Economics, Carl Menger. The younger Menger never finished the work. While working in the Menger collections at Duke University’s David M. Rubenstein Rare Book and Manuscript Library, we discovered draft chapters of the biography, a valuable source of information given that relatively little is known about Carl Menger’s life nearly a hundred years after (...) his death. The unfinished biography covers Carl Menger’s family background and his life through early 1889. In this article, we discuss the biography and the most valuable new insights it provides into Carl Menger’s life, including Carl Menger’s family, his childhood, his student years, his time working as a journalist and newspaper editor, his early scientific career, and his relationship with Crown Prince Rudolf. (shrink)

The paper shows how ideas that explain the sense of an expression as a method or algorithm for finding its reference, preshadowed in Frege’s dictum that sense is the way in which a referent is given, can be formalized on the basis of the ideas in Thomason (1980). To this end, the function that sends propositions to truth values or sets of possible worlds in Thomason (1980) must be replaced by a relation and the meaning postulates governing the behaviour of (...) this relation must be given in the form of a logic program. The resulting system does not only throw light on the properties of sense and their relation to computation, but also shows circular behaviour if some ingredients of the Liar Paradox are added. The connection is natural, as algorithms can be inherently circular and the Liar is explained as expressing one of those. Many ideas in the present paper are closely related to those in Moschovakis (1994), but receive a considerably lighter formalization. (shrink)

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

This article explains Blumenberg's reluctance to make humankind the saviour of nature, and the implied scepticism towards environmental politics.

A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have shown remarkable (...) comebacks in the fields of mechanized reasoning (see, e.g., Benzm¨. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...) is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

Ambiguities in natural language can multiply so fast that no person or machine can be expected to process a text of even moderate length by enumerating all possible disambiguations. A sentence containing $n$ scope bearing elements which are freely permutable will have $n!$ readings, if there are no other, say lexical or syntactic, sources of ambiguity. A series of $m$ such sentences would lead to $(n!)^m$ possibilities. All in all the growth of possibilities will be so fast that generating readings (...) first and testing their acceptability afterwards will not be feasible. -/- This insight has led a series of researchers to adopt a level of representation at which ambiguities remain unresolved. The idea here is not to generate and test many possible interpretations but to first generate one `underspecified' representation which in a sense represents all its complete specifications and then use whatever information is available to further specify the result. -/- One central hypothesis in the paper will be that the relation between an underspecified representation and its full representations is not so much the relation between one structure and a set of other structures but is in fact the relation between a description (a set of logical sentences) and its models. (shrink)

Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, (...) the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim’s context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and provide examples. (shrink)

Background: Adequate immunity to COVID-19 apparently cannot be attained in Germany by voluntary vaccination alone, and therefore the introduction of mandatory COVID-19 vaccination is still under consideration. We present findings on the potential acceptance of such a requirement by the German population, and we report on the reasons given for accepting or rejecting it and how these reasons vary according to population subgroup. -/- Methods: We used representative data from the Socio-Economic Panel for the period January to December 2021. We (...) linked the respondents’ answers concerning mandatory COVID-19 vaccination to information about their sociodemographic characteristics, state of health, political attitudes, and degree of confidence in the judicial and political systems. We analyzed these data using univariate, bivariate, and multivariate statistical methods. -/- Results: Just over half of the respondents (50.44% [49.08%; 51.79%]) favored mandatory COVID-19 vaccination. Among the supporters, the reason most frequently given (95.22% [94.45; 96.00]) was that, without such a requirement, not enough people would be vaccinated. Among the opponents of mandatory COVID-19 vaccination (49.56% [48.21%; 50.92%]), by far the most common reason given for opposing it was a desire to uphold individual freedom (91.36% [90.31%; 92.40%]). Persons supporting mandatory COVID-19 vaccination, on average, older than those who opposed it; they less commonly had an education beyond secondary school, were less healthy, tended to have no children, had centrist political views, and expressed more confidence in the political system. The largest difference between the two groups was that about 90% of supporters of mandatory COVID-19 vaccination were themselves vaccinated, compared to only about 62% of opponents. -/- Conclusion: The lack of consensus on this issue among politicians and physicians in Germany is reflected in a similar lack of consensus in the German population as a whole. A discussion of the appropriate understanding of individual freedom would be the most promising way to widen the acceptance of mandatory COVID-19 vaccination. A commonly expressed conception of freedom that permits the deliberate endangerment of other people’s health seems morally questionable. -/- DOI: 10.3238/arztebl.m2022.0174. (shrink)

Mit einer virtuellen Welt kann sehr Verschiedenes und Mannigfaltiges assoziiert werden, unter anderem ein weiterer schillernder Begriff: Die Utopie. Sind nun virtuelle Welten allesamt Utopien? Oder müsste man vielmehr umgekehrt die Utopie als eine besondere virtuelle Welt hervorheben? Dass es überhaupt einen engen Zusammenhang zwischen den beiden Begriffen gibt, scheint nicht einmal selbstverständlich: Es gibt ihn sicherlich nicht, wenn man unter einer virtuellen Welt lediglich ein mit Hilfe von Computertechnik generiertes Szenario und unter einer Utopie schlicht und einfach eine der (...) Wirklichkeit unangemessene Wunschvorstellung versteht oder aber die Utopie als die literarische Konzeption einer für ideal befundenen Gesellschaftsform begreift und ideengeschichtlich demgemäß mit Platons „Staat“ beginnen lässt. Damit das begriffliche Verhältnis zwischen den heute durchaus auch im allgemeinen Sprachgebrauch verwurzelten Ausdrücken „Utopie“ und „Virtualität“ untersucht werden kann, soll der Versuch unternommen werden, anschaulich zu machen, wie sie verwendet werden könnten. (shrink)

The paper develops Lambda Grammars, a form of categorial grammar that, unlike other categorial formalisms, is non-directional. Linguistic signs are represented as sequences of lambda terms and are combined with the help of linear combinators.

Both Philip and Andrew are philosophy students whose interests converge around the philosophy of technology broadly understood. Philip's interest is specifically aimed toward the ethics of Transhumanism and depictions of Transhumanism in works of fiction. On the other hand, Andrew finds himself more focused on religious behavior in the technological world. While the two perspectives might not seem that close, there is certain to be an overlap in Andrew and Philip's shared understanding of how technological phenomena play a crucial role (...) concerning religion and society. (shrink)

In this paper it is shown how a formal theory of interpretation in Montague’s style can be reconciled with a view on meaning as a social construct. We sketch a formal theory in which agents can have their own theory of interpretation and in which groups can have common theories of interpretation. Frege solved the problem how different persons can have access to the same proposition by placing the proposition in a Platonic realm, independent from all language users but accessible (...) to all of them. Here we explore the alternative of letting meaning be socially constructed. The meaning of a sentence is accessible to each member of a linguistic community because the way the sentence is to be interpreted is common knowledge among the members of that community. Misunderstandings can arise when the semantic knowledge of two or more individuals is not completely in sync. (shrink)

The ‘syntax’ and ‘combinatorics’ of my title are what Curry (1961) referred to as phenogrammatics and tectogrammatics respectively. Tectogrammatics is concerned with the abstract combinatorial structure of the grammar and directly informs semantics, while phenogrammatics deals with concrete operations on syntactic data structures such as trees or strings. In a series of previous papers (Muskens, 2001a; Muskens, 2001b; Muskens, 2003) I have argued for an architecture of the grammar in which finite sequences of lambda terms are the basic data structures, (...) pairs of terms syntax, semantics for example. These sequences then combine with the help of simple generalizations of the usual abstraction and application operations. This theory, which I call Lambda Grammars and which is closely related to the independently formulated theory of Abstract Categorial Grammars (de Groote, 2001; de Groote, 2002), in fact is an implementation of Curry’s ideas: the level of tectogrammar is encoded by the sequences of lambda-terms and their ways of combination, while the syntactic terms in those sequences constitute the phenogrammatical level. In de Groote’s formulation of the theory, tectogrammar is the level of abstract terms, while phenogrammar is the level of object terms. (shrink)

I argue that the problem of responsibility for attitudes is best understood as a puzzle about how we are responsible for responding to our object-given reasons for attitudes – i.e., how we are responsible for being (ir)rational. The problem can be solved, I propose, by understanding the normative force of reasons for attitudes in terms of blameworthiness. I present a puzzle about the existence of epistemic and mental blame which poses a challenge for the very idea of reasons for attitudes. (...) We are left with three options: denying that there are any reasons for attitudes, opting for pragmatism about reasons for attitudes, or arguing that the challenge rests on a misunderstanding of the normative force of reasons for attitudes. I finally suggest a version of the last strategy. We can understand the normative force of reasons for attitudes, and thereby solve the problem of mental responsibility, by acknowledging that the way we blame each other for failing to respond correctly to our reasons for attitudes is different from the way we blame each other when one failed to respond correctly to reasons for action. (shrink)

In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.

Signing Ceremony of MOU on Professional Legal Diploma, Government of Dubai 2020.

This paper examines the relation between Cartwright's concept of 'capacities' and Mill's concept of 'tendencies' and argues that they are not equivalent. Cartwright's concept of 'capacities' and her motivation to adopt it as a central notion in her philosophy of science are described. It is argued that the Millian concept of 'tendencies' is distinct because Mill restricts its use to a set of special cases. These are the cases in which causes combine 'mechanically'. Hence for Mill 'tendencies' do not merely (...) describe the operation of causes, but also and perhaps even primarily how they combine. This does not hold of Cartwrightian capacities which are meant to have unlimited applicability. Mill also explicitly denies the realism of 'capacities' in a sense which overlaps with Cartwright's. Her attempt to derive empirist credentials for her notion of capacity from Mill is therefore unsuccessful. (shrink)

It has been argued that rationality consists in responding correctly to reasons. Recent defenses of the normativity of rationality assume that this implies that we always ought to be rational. However, this follows only if the reasons rationality requires us to correctly respond to are normative reasons. Recent meta-epistemological contributions have questioned whether epistemic reasons are normative. If they were right, then epistemic rationality wouldn’t provide us with normative reasons independently of wrong-kind reasons to be epistemically rational. This paper spells (...) out this neglected challenge for the normativity of epistemic rationality by connecting the two bodies of literature. Moreover, it generalizes this challenge to the rationality of desire, intention, and emotion. The upshot is that we can only answer the normative question about rationality if we debate about blame and accountability for holding different kinds of irrational attitudes, as well as about the sources of mental normativity. (shrink)

This paper argues for the idea that in describing language we should follow Haskell Curry in distinguishing between the structure of an expression and its appearance or manifestation . It is explained how making this distinction obviates the need for directed types in type-theoretic grammars and a simple grammatical formalism is sketched in which representations at all levels are lambda terms. The lambda term representing the abstract structure of an expression is homomorphically translated to a lambda term representing its manifestation, (...) but also to a lambda term representing its semantics. (shrink)

Russell's a priori postulates of empirist theories of knowledge. Kurze Darstellung von Russells Postulaten als Ermöglichung einer empiristischen Erkenntnistheorie.

In mathematical languages and in predicate logic coreferential terms can be interchanged in any sentence without altering the truth value of that sentence. Replacing 3 + 5 by 12 − 4 in any formula of arithmetic will never lead from truth to falsity or from falsity to truth. But natural languages are different in this respect. While in some contexts it is always allowed to interchange coreferential terms, other contexts do not admit this. An example of the first sort of (...) context is likes bananas: for any two coreferential noun phrases A and B the sentence A likes bananas is true if and only if B likes bananas is. A context that does not allow intersubstitution of coreferents is The Ancients knew that appears at dawn. If we fill the hole with the noun phrase the Morning Star we get the true (1a), while if we plug in the Evening Star we get the false (1b). Yet the Morning Star and the Evening Star both refer to the planet Venus and are thus coreferential. (shrink)

Wenn wir Peter Singers Konklusion in „Famine, Affluence, and Morality“ (1972) akzeptieren, dann handeln wir im Alltag sehr viel häufiger falsch, als es uns lieb ist. Anstatt über die Natur von Altruismus zu philosophieren, könnten wir auch möglichst effektiv Hungerleidenden helfen. Ist es daher etwa moralisch verwerflich – weil egoistisch – zu philosophieren? In diesem Beitrag beleuchte ich die Gründe, die wir haben, Philosophie in den Mittelpunkt unseres Lebens zu stellen. Ich argumentiere, dass Philosophieren – genauso wie die Beschäftigung mit (...) Kunst und Wissenschaft – nur dann gerechtfertigt sein kann, wenn es praktische Gründe jenseits von Gründen des persönlichen Nutzens und der Moral gibt. Dabei schliesse ich an Susan Wolfs Idee an, dass diese Tätigkeiten ein Leben mit Sinn erfüllen können. Es bleibt jedoch offen, ob in einer Welt voller Ungerechtigkeit die moralischen Gründe gegen das Philosophieren (und für andere Handlungsoptionen) nicht dennoch überwiegen. (shrink)

In this paper we consider the theory of predicate logics in which the principle of Bivalence or the principle of Non-Contradiction or both fail. Such logics are partial or paraconsistent or both. We consider sequent calculi for these logics and prove Model Existence. For L4, the most general logic under consideration, we also prove a version of the Craig-Lyndon Interpolation Theorem. The paper shows that many techniques used for classical predicate logic generalise to partial and paraconsistent logics once the right (...) set-up is chosen. Our logic L4 has a semantics that also underlies Belnap’s [4] and is related to the logic of bilattices. L4 is in focus most of the time, but it is also shown how results obtained for L4 can be transferred to several variants. (shrink)

COVID-19 vaccine refusal seems like a paradigm case of irrationality. Vaccines are supposed to be the best way to get us out of the COVID-19 pandemic. And yet many people believe that they should not be vaccinated even though they are dissatisfied with the current situation. In this paper, we analyze COVID-19 vaccine refusal with the tools of contemporary philosophical theories of responsibility and rationality. The main outcome of this analysis is that many vaccine-refusers are responsible for the belief that (...) they should not be vaccinated and epistemically rational in holding it. This is an important result because it provides insights into the legitimacy of certain public health policies. In particular, this result shows that a public health policy that would abandon the project of convincing certain vaccine-refusers with reasons – e.g., by simply making vaccination compulsory – is prima facie illegitimate. (shrink)

This paper discusses (in German) an idea enshrined in the recent (2012) revision of the German transplantation law. The law allows family members to make claims about what the deceased would have wanted to happen to his/her organs/tissue even though he/she never has voiced any relevant opinions. I argue that this is illegitimate.

In this paper we introduce a Gentzen calculus for (a functionally complete variant of) Belnap's logic in which establishing the provability of a sequent in general requires \emph{two} proof trees, one establishing that whenever all premises are true some conclusion is true and one that guarantees the falsity of at least one premise if all conclusions are false. The calculus can also be put to use in proving that one statement \emph{necessarily approximates} another, where necessary approximation is a natural dual (...) of entailment. The calculus, and its tableau variant, not only capture the classical connectives, but also the `information' connectives of four-valued Belnap logics. This answers a question by Avron. (shrink)

In this paper we discuss a new perspective on the syntax-semantics interface. Semantics, in this new set-up, is not ‘read off’ from Logical Forms as in mainstream approaches to generative grammar. Nor is it assigned to syntactic proofs using a Curry-Howard correspondence as in versions of the Lambek Calculus, or read off from f-structures using Linear Logic as in Lexical-Functional Grammar (LFG, Kaplan & Bresnan [9]). All such approaches are based on the idea that syntactic objects (trees, proofs, fstructures) are (...) somehow prior and that semantics must be parasitic on those syntactic objects. We challenge this idea and develop a grammar in which syntax and semantics are treated in a strictly parallel fashion. The grammar will have many ideas in common with the (converging) frameworks of categorial grammar and LFG, but its treatment of the syntax-semantics interface is radically different. Also, although the meaning component of the grammar is a version of Montague semantics and although there are obvious affinities between Montague’s conception of grammar and the work presented here, the grammar is not compositional, in the sense that composition of meaning need not follow surface structure. (shrink)

This contribution focuses on three aspects of Nietzsche’s art of living that have become relevant today especially in the United States (but not only here): first, regarding some facets of the economic-political conditions of any contemporary art of living; second, the widespread adoption of Nietzsche’s notion of self-overcoming and artistic self-design in entrepreneurship and individual’s lives; and third, how his notion of ‘incorporation’ has been further developed in current approaches to habit design. Eventually I will show via the example of (...) Anthony Robbins that some notions of Nietzsche’s art of living have become most popular outside of academia, namely in the commercial industries of what has been called ‘self-growth’ or ‘self-development.’. (shrink)

Altruismus scheint im Alltagsverständnis seinen uneingeschränkt positiven Ruf als ebenso wünschenswerte wie seltene Tugend verloren zu haben und durch ein Ethos des Eigennutzens ersetzt worden zu sein. Angesichts globaler Krisen wie dem Klimawandel, großer Flüchtlingsbewegungen, Kriege und Armut ist die Bereitschaft zur Verhaltensänderung bzw. zum Verzicht zugunsten kommender Generationen oder hilfsbedürftiger Menschen weniger selbstverständlich als das Phänomen der psychologischen Reaktanz und die Weigerung, Einschränkungen der persönlichen Freiheit oder des Konsums hinzunehmen. Zeitgenössische Ethikerinnen und Ethiker müssen sich demnach mit der Frage (...) nach der Motivation für ein Handeln auseinandersetzen, das in erster Linie nicht dem eigenen Wohl, sondern dem Wohl anderer dient. In diesem Sinne beleuchtet der vorliegende Band das Thema Altruismus in seinen verschiedenen, wechselseitig aufeinander verweisenden Facetten: Wie ist das Wesen altruistischen Handelns zu bestimmen? Liegt Altruismus in der Natur des Menschen? Lässt sich Altruismus widerspruchsfrei in verschiedene Ethiktypen einordnen? Wie verstehen verschiedene philosophische Traditionen und Religionen den Altruismus? In welchem Verhältnis steht der Altruismus zum guten Leben? Und: Wie ist altruistisches Handeln motiviert? Da diese Fragen in verschiedenen Fachwissenschaften und mit unterschiedlichen Perspektivierungen gestellt werden, ist dieser Sammelband interdisziplinär konzipiert: Philosophie und Religionswissenschaft kommen ebenso zu Wort wie Verhaltensökonomie und Evolutionsbiologie. Auch anthropologische, soziologische und psychologische Zusammenhänge werden beleuchtet. Dementsprechend richten sich die hier versammelten Aufsätze an ein sehr breit gefächertes akademisches Publikum, aber auch an eine interessierte öffentliche Leserschaft außerhalb des universitären Kontexts. Mit Blick auf diese Zielgruppen führen die einzelnen Beiträge in das jeweilige Thema ein und präsentieren gleichzeitig eine eigene Forschungsposition der Autorin bzw. des Autors. -/- . (shrink)

This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.

Vector models of language are based on the contextual aspects of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, the denotations of phrases, and their compositional properties. In the latter approach the denotation of a sentence determines its truth conditions and can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In this short paper, we develop a vector semantics for language based (...) on the simply typed lambda calculus. Our semantics uses techniques familiar from the truth conditional tradition and is based on a form of dynamic interpretation inspired by Heim's context updates. (shrink)

A social planner who evaluates risky public policies in light of the other risks with which their society will be faced should judge favourably some such policies even though they would deem them too risky when considered in isolation. I suggest that a longtermist would—or at least should—evaluate risky polices in light of their prediction about future risks; hence, longtermism supports social risk-taking. I consider two formal versions of this argument, discuss the conditions needed for the argument to be valid, (...) and briefly compare these conditions to some risky policy options with which actual public decision-makers are faced. (shrink)

There are two kinds of semantic theories of anaphora. Some, such as Heim’s File Change Semantics, Groenendijk and Stokhof’s Dynamic Predicate Logic, or Muskens’ Compositional DRT (CDRT), seem to require full coindexing of anaphora and their antecedents prior to interpretation. Others, such as Kamp’s Discourse Representation Theory (DRT), do not require this coindexing and seem to have an important advantage here. In this squib I will sketch a procedure that the first group of theories may help themselves to so that (...) they can interleave interpretation and coindexing in DRT’s way. (shrink)

Sebastian Schmidt (Zürich) fragt in seinem Beitrag »Wie vernünftig sind Verschwörungstheoretiker?«, wie es um die Vernunft derjenigen steht, die einer Verschwörungstheorie über die Corona-Pandemie anhängen. Im Umgang mit Corona scheint sich zu bestätigen, was die Psychologie seit Jahrzehnten lehrt: Menschen unterliegen in ihrem Denken kognitiven Fehlern und Verzerrungen. Doch ist verschwörungstheoretisches Denken, das solche Fehler ebenfalls begeht, deshalb irrational? Schmidt warnt davor, einander zu leichtfertig als irrational zu betrachten, und verweist auf die wichtige Rolle, die intellektuelles Vertrauen in (...) Wissensgemeinschaften spielt. Am Beispiel des sogenannten Bestätigungsfehlers führt er aus, dass Menschen, die ihre Überzeugungen nicht fortwährend kritisch prüfen, in diesem Verhalten durchaus rational sein können. (shrink)

Nietzsche and Shaw are famous and infamous: famous for their innovative and influential forms of writing, but infamous for their apparent support of totalitarianism and Nazism. However, while it has long been shown that Nietzsche’s provocative language about “breeding” and “masters and slaves” was intended to enhance culture through competition, it is still an open question how and when Shaw supported biological eugenics. Via Nietzsche’s “philosophical breeding,” this article presents a new reading of Shaw’s Man and Superman: on the one (...) hand, it contrasts Nietzsche’s philosophical Übermensch with Shaw’s eugenic Superman; and on the other hand, it connects Nietzsche’s agonistic enhancement of culture with Shaw’s philosophical reflections in “Don Juan in Hell.” In contrast to Tanner’s support of eugenic breeding in his Revolutionist’s Handbook, Shaw’s Don Juan remarkably resembles Nietzsche’s notion of “philosophical breeding” toward a more competent, truthful, and autonomous orientation that is needed in increasingly complex global politics. (shrink)

The battle of Little Bighorn in 1876 marked the beginning of the end of conflict between the U.S. and its military against the various Native American tribes west of the Mississippi River. Historians have given us various ideas of why Lieutenant Colonel Custer met with defeat. But none have noted, in connection with the November 3rd “secret meeting” between Grant and his generals, a movement of troops away from the Black Hills even before decisions were supposedly made to no longer (...) keep miners out of that sacred land. When we study attitude and orders in conjunction with what we know about these events, the idea emerges that the government knew that they couldn’t get the Indians to break the Fort Laramie Treaty unless they were attacked. Here, then, is a presentation of the possibility of deliberate defeat by the U.S. government and its military in order to take the Black Hills. (shrink)

This essay investigates, via the concepts of the philosophy of orientation, Annie Duke’s decision-making theory in "Thinking in Bets" and scrutinizes as to what extent one can universalize the 'orientation skill' of decision-making with regard to our everyday and professional life.

Several vaccines against COVID-19 have now been developed and are already being rolled out around the world. The decision whether or not to get vaccinated has so far been left to the individual citizens. However, there are good reasons, both in theory as well as in practice, to believe that the willingness to get vaccinated might not be sufficiently high to achieve herd immunity. A policy of mandatory vaccination could ensure high levels of vaccination coverage, but its legitimacy is doubtful. (...) We investigate the willingness to get vaccinated and the reasons for an acceptance (or rejection) of a policy of mandatory vaccination against COVID-19 in June and July 2020 in Germany based on a representative real time survey, a random sub-sample (SOEP-CoV) of the German Socio-Economic Panel (SOEP). Our results show that about 70 percent of adults in Germany would voluntarily get vaccinated against the coronavirus if a vaccine without side effects was available. About half of residents of Germany are in favor, and half against, a policy of mandatory vaccination. The approval rate for mandatory vaccination is significantly higher among those who would get vaccinated voluntarily (around 60 percent) than among those who would not get vaccinated voluntarily (27 percent). The individual willingness to get vaccinated and acceptance of a policy of mandatory vaccination correlates systematically with socio-demographic and psychological characteristics of the respondents. We conclude that as far as people’s declared intentions are concerned, herd immunity could be reached without a policy of mandatory vaccination, but that such a policy might be found acceptable too, were it to become necessary. (shrink)

Standard approaches to proper names, based on Kripke's views, hold that the semantic values of expressions are (set-theoretic) functions from possible worlds to extensions and that names are rigid designators, i.e.\ that their values are \emph{constant} functions from worlds to entities. The difficulties with these approaches are well-known and in this paper we develop an alternative. Based on earlier work on a higher order logic that is \emph{truly intensional} in the sense that it does not validate the axiom scheme of (...) Extensionality, we develop a simple theory of names in which Kripke's intuitions concerning rigidity are accounted for, but the more unpalatable consequences of standard implementations of his theory are avoided. The logic uses Frege's distinction between sense and reference and while it accepts the rigidity of names it rejects the view that names have direct reference. Names have constant denotations across possible worlds, but the semantic value of a name is not determined by its denotation. (shrink)

Type-logical semantics studies linguistic meaning with the help of the theory of types. The latter originated with Russell as an answer to the paradoxes, but has the additional virtue that it is very close to ordinary language. In fact, type theory is so much more similar to language than predicate logic is, that adopting it as a vehicle of representation can overcome the mismatches between grammatical form and predicate logical form that were observed by Frege and Russell. The grammatical forms (...) of ordinary language sentences consequently may be taken to be much less misleading than logicians in the first half of the 20th century often thought them to be. This was realized by Richard Montague, who used the theory of types to translate fragments of ordinary language into a logical language. Semantics is commonly divided into lexical semantics, which studies the meaning of words, and compositional semantics, which studies the way in which complex phrases obtain a meaning from their constituents. The strength of type-logical semantics lies with the latter, but type-logical theories can be combined with many competing hypotheses about lexical meaning, provided these hypotheses are expressed using the language of type theory. (shrink)

In a recent paper we have defined an analytic tableau calculus PL_16 for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN_3. This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic---such as the relations |=_t, |=_f, and |=_i that each correspond to a lattice order in SIXTEEN_3; and |=, the intersection of |=_t and |=_f,. -/- It turns out that our method of characterising these semantic relations---as (...) intersections of auxiliary relations that can be captured with the help of a single calculus---lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that |=, when restricted to L_{tf}, the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano. (shrink)

This book is a thesis submitted to the Faculty of Arts of the University of Utrecht. It was prepared under the supervision of Prof. Dr. H. Schultink. I would like to express my gratitude to him for his criticisms of earlier versions which led to many improvements, in particular with respect to the exposition of the argument. To my co-referent Dirk van Dalen, reader in the Department of Philo sophy (,Centrale Interfaculteit') of the University of Utrecht, I am greatly indebted (...) for his valuable and fruitful suggestions about problems relevant to both linguistics and logic. Several ideas developed in this study owe their present concrete form to our many discussions. This thesis originates in syntactic research into the Aspects carried out in 1967 under the supervision of Albert Kraak, professor at the University of Nijmegen, who ever since gave much attention to my work in progress. I am very grateful to him for his careful and stimulating criticism as well as for the continuous support he gave me during these years. The present study closely relates to the work of my colleague Wim Klooster with regard to both its theoretical framework and its subject matter. Our joint work on the measurement of duration in Dutch is an integral part of the argument. I have greatly profited from the numerous discussions we have had. (shrink)

Kant said that existence is not a predicate and Russell agreed, arguing that a sentence such as ‘The king of France exists’, which seems to attribute existence to the king of France, really has a logical form that is not reflected in the surface structure of the sentence at all. While the surface form of the sentence consists of a subject and a predicate, the underlying logical form, according to Russell, is the formula given in. This formula obviously has no (...) subjectpredicate form and in fact has no single constituent that corresponds to the verb phrase ‘exists’ in the surface sentence. ∃x∀y The importance of Russell’s analysis becomes clear when we consider ‘The king of France does not exist’. If this sentence would attribute non-existence to the king it should entail that there is someone who does not exist, just as ‘Mary doesn’t like bananas’ entails that there is someone who doesn’t like bananas. Thus the idea that all sentences have subject-predicate form has led some philosophers to the view that there are objects that lack existence. This embarrassing position can be avoided once Russell’s analysis is accepted: if ‘The king of France does not exist’ is formalised as the negation of formula, no unwanted consequences follow. (shrink)

An attractive way to model the relation between an underspecified syntactic representation and its completions is to let the underspecified representation correspond to a logical description and the completions to the models of that description. This approach, which underlies the Description Theory of Marcus et al. 1983 has been integrated in Vijay-Shanker 1992 with a pure unification approach to Lexicalized Tree-Adjoining Grammars (Joshi et al. 1975, Schabes 1990). We generalize Description Theory by integrating semantic information, that is, we propose to (...) tackle both syntactic and semantic underspecification using descriptions. (shrink)